(= (+ -1 -1) -2)
